Raspberry Pi video editing